Handbook of Model Checking
- Författare
- (Edited by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2018 | Tyskland, Cham | XXIV, 1210 sidor. 220 illus., 6 illus. in color. online resource. | 978-3-319-10575-8 |
| Springer | 2016 | Schweiz, Cham, Switzerland | xxiv, 1210 pages illustrations 24 cm | 978-3-319-10574-1 |